#Author : Steve Allen
#name : module mIfc( Ifc#(td) ) provisos(..); body; endmodule
# --
module mk${1:Ifc}( $1#(td) )
    provisos ( Bits#(td,szTD) );
    // state
    $0
    // rules

    // methods/interfaces
endmodule
